COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	rec[xg] <= 
C00003 ENDMK
C⊗;
rec[x;g] <= 
	[leads_to[root[g],x] → YES
	 T → NO
	]

above is "specification" of earley recognizer

Function is given by:

rec[x;g] <=
	[<rr,length[s-lhs[rr]],0> ε state-set[length[x];S] → YES
	 T → NO
	]